スパース行列の圧縮法 行置換による縮小アルゴリズム